bitkeeper revision 1.1347 (4266ee31uFDz7ZMst_Cy-vYbXJ2EZw)
authoriap10@tetris.cl.cam.ac.uk <iap10@tetris.cl.cam.ac.uk>
Thu, 21 Apr 2005 00:05:05 +0000 (00:05 +0000)
committeriap10@tetris.cl.cam.ac.uk <iap10@tetris.cl.cam.ac.uk>
Thu, 21 Apr 2005 00:05:05 +0000 (00:05 +0000)
commit99a43b3bea2b002b87d650aa29d383509b42ed49
tree3c41579fee2aa540f18dd597e35ba4dbe91d977d
parent10eba6b169bae7e93b59f5c6eba8c32ed4bd5069
bitkeeper revision 1.1347 (4266ee31uFDz7ZMst_Cy-vYbXJ2EZw)

__vmxon() is called twice for the boot cpu, because identify_cpu() is called
twice. This patch ensures that identify_cpu() and hence __vmxon() is called
exactly once for the boot CPU on SMP.

Signed-off-by: Anil S Keshavamurthy <anil.s.keshavamurthy@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: ian@xensource.com
xen/arch/x86/smpboot.c